explicit formulas